IASSF: A Simulation For F/A-18 Avionics Software Testing
نویسندگان
چکیده
The Integrated Avionics Systems Support Facility (IASSF) provides a simulated environment to test F/A-18 avionics, avionics software and system behaviour on the ground without the initial need for real F/A-18 flight testing. The Royal Australian Air Force (RAAF) has commissioned IASSF to allow mission critical Operational Flight Programs (OFPs) in the F/A-18 to be written, modified and tested. IASSF uses an automated and distributed architecture that has been developed to integrate the F/A-18 avionics with each other in a laboratory environment to allow the testing of the avionics software and hardware. Software models have been written to simulate avionics that cannot be stimulated correctly on the ground. IASSF contains a simulated tactical environment that allows simulated enemy aircraft to be targeted via Radar or FLIR, and simulated missiles to be launched. Intercommunications between the avionics and software models can be recorded and replayed to allow the automation of complex tests. The simulation parameters can be forced to values out of normal range to allow boundary testing of software. BAE SYSTEMS has delivered the IASSF to the commonwealth and is currently in a support phase for both maintenance and development.
منابع مشابه
Testing Method of Integrated Modular Avionics Health Monitoring
Avionics software is safe-critical embedded software and its architecture is evolving from traditional federated architectures to Integrated Modular Avionics (IMA) to improve resource usability. ARINC653, as a standard widely employed in the avionics industry, supports partitioning concepts in accordance with the IMA philosophy. Monitoring the health of certain aerospace structures has been sho...
متن کاملGeneration of Branch Coverage Test Data for Simulink/Stateflow Models Using Crest Tool
Automated test suite generation is an optimization technique to reduce test effort and duration. Software Testing has traditionally been one of the main techniques contributing to high software quality and dependability. Testing performance consumes about 50% of software development resources, so any methods aiming at reducing softwaretesting costs are likely to reduce software development cost...
متن کاملDeveloping and Testing Pervasive Computing Applications: A Tool-Based Methodology
developing and testing pervasive computing applications: a tool-based methodology Despite much progress, developing a pervasive computing application remains a challenge because of a lack of conceptual frameworks and supporting tools. This challenge involves coping with heterogeneous devices, overcoming the intricacies of distributed systems technologies, working out an architecture for the app...
متن کاملEVENT - TRIGGERED ENVIRONMENTS FOR VERIFICATION OF REAL - TIME SYSTEMS Darren
The growing complexity and the safety-critical requirements of the embedded software in avionics systems present many challenges to current test-based verification technology. The use of formal verification methods can increase design assurance by exploring a larger range of system behaviors and fault conditions than can feasibly be covered by testing or simulation. However, one of the most cha...
متن کاملTowards Scalable Verification of Commercial Avionics Software
We describe a model-based approach for the automated verification of avionics systems that has been applied in Honeywell for the certification of complex avionics applications, such as flight controls and engine controls. The approach uses a symbolic analysis framework for MATLAB Simulink models, utilizing range arithmetic to represent test cases and equivalence-class transformations within a m...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2004